(0 15 3)(1 14 12 7 5)(2 13 11 8 4)(6 10 9)
ALLOWS (11/8)-SEQUENCE
1: (0 5 12)
(0 7 5 15 3)(1 14 12)(2 13 11 8 4)(6 10 9)
2: (2 13 11)
(0 7 5 15 3)(1 14 12)(2 8 4)(6 10 9)(11)(13)
3: (1 14 12)
(0 7 5 15 3)(1)(2 8 4)(6 10 9)(11)(12)(13)(14)
4: (0 15 3)
(0)(1)(2 8 4)(3)(5 15 7)(6 10 9)(11)(12)(13)(14)